The Extreme Value Theorem